%include
:- lib(ic).

contains([Start_0, End_0], [V], [Result], [Start_1, End_1]) :- 
	[Start_0] :: -32768 .. 32767, 
	[End_0] :: -32768 .. 32767, 
	[V] :: -32768 .. 32767, 
	[Result] :: 0 .. 1, 
	[Start_1] :: -32768 .. 32767, 
	[End_1] :: -32768 .. 32767, 
	Start_0 #<= End_0, 
	ocl2clp_init_list(Start_0, End_0, L0), 
	length(L0, N), 
	Answer_0 = 0, 
	1 #> N, 
	Answer #= Answer_0, 
	Result #= Answer, 
	Start_1 #= Start_0, 
	End_1 #= End_0, 
	Start_1 #<= End_1, 
	indomain(Start_0), 
	indoamin(End_0), 
	indomain(V), 
	indomain(Result), 
	indomain(Start_1), 
	indomain(End_1).